windowManager: Adapt to mutter API change

https://bugzilla.gnome.org/show_bug.cgi?id=673014

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1e2b2f447aab5a210d377e8991632ab1a2efb884..c6b17ad25497b0d28f815d77759db9e1e980435e 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -136,7 +136,7 @@ const WindowManager = new Lang.Class({
         Meta.keybindings_set_custom_handler('switch-panels',
                                             Lang.bind(this, this._startA11ySwitcher));
         global.display.add_keybinding('open-application-menu',
-                                      SHELL_KEYBINDINGS_SCHEMA,
+                                      new Gio.Settings({ schema: SHELL_KEYBINDINGS_SCHEMA }),
                                       Meta.KeyBindingFlags.NONE,
                                       Lang.bind(this, this._openAppMenu));